ecl-trans-tuple{i:l}(ds;da)
== T:Type
== ks:(Knd List)
== T
== (k:{k:Knd| (k  ks) }State(ds)Valtype(da;k)TT)
== (T)
== ((k:{k:Knd| (k  ks) }State(ds)Valtype(da;k)T))
== ( List) 

latex

---

clarification:

ecl-trans-tuple{i:l}
ecl-trans-tuple(ds; da)
== T:Type{i}
== ks:(Knd List)
== T
== (k:{k:Knd| (k  ks  Knd) }State(ds)Valtype(da;k)TT)
== (T)
== ((k:{k:Knd| (k  ks  Knd) }State(ds)Valtype(da;k)T))
== ( List) 

latex

Definitions	ecl-trans-tuple{i:l}(ds;da), , (x  l), Knd, State(ds), Valtype(da;k), ,
FDL editor aliases	ecl-trans-tuple